start_address = 0x10000;
framebuffer_size = 0x00400000;
